Parsing schemata and correctness of parsing algorithms
نویسندگان
چکیده
منابع مشابه
Parsing Schemata and Correctness of Parsing Algorithms
Parsing schemata provide a high level formal de scription of parsers These can be used among others as an intermediate level of abstraction for deriving the formal correctness of a parser A parser is correct if it duely implements a parsing schema that is known to be correct In this paper it is discussed how the correctness of a parsing schema can be proven and how pars ing schemata relate to s...
متن کاملError-repair parsing schemata
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair parsing approaches achieve robustness by considering ungrammatical sentences as corrupted versions of valid sentences. In this article we present a deductive formalism, based on Sikkel’s parsing schemata, that can be ...
متن کاملDependency Parsing Schemata and Mildly Non-Projective Dependency Parsing
We introduce dependency parsing schemata, a formal framework based on Sikkel’s parsing schemata for constituency parsers, which can be used to describe, analyze, and compare dependency parsing algorithms. We use this framework to describe several well-known projective and non-projective dependency parsers, build correctness proofs, and establish formal relationships between them. We then use th...
متن کاملA compiler for parsing schemata
We present a compiler which can be used to automatically obtain efficient Java implementations of parsing algorithms from formal specifications expressed as parsing schemata. The system performs an analysis of the inference rules in the input schemata in order to determine the best data structures and indexes to use, and ensure that the generated implementations are efficient. The system descri...
متن کاملChart Parsing and Rule Schemata in PSG
In this paper I want to describe how I have used MCHART in beginning to construct a parser for gr-mm-rs expressed in PSG, and how aspects of the chart parsing approach in general and MCHART in particular have made it easy to acco~mmodate two significant aspects of PSG: rule schemata involving variables over categories; and compound category symbols ("slash" categories). To do this I will briefl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1998
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)00269-7